A representation theorem for quantales
نویسندگان
چکیده
منابع مشابه
Relational Representation Theorem for Powerset Quantales
(Q,≦,∨) is a complete join semilattice (Q,・,e) is a monoid (∨S)・a=∨{b・a | b∈S} for a∈Q, S⊆Q a・(∨S)=∨{a・b | b∈S} for a∈Q, S⊆Q 2 Background: An Example of Quantale (Rel(A),≦,∨,・,e) is a quantale where Rel(A) is the set of all binary relations on A ≦ is the inclusion ∨ is the union ・ is the composition Q・R={ (a,c) | ∃b. (a,b)∈Q, (b,c)∈R } e is the identity relation 3 Our Goal: Relational Represent...
متن کاملRepresentation Theorems for Quantales
In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. 1991 Mathematics Subject Classificati...
متن کاملRelational Representation of Groupoid Quantales
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive quantales of quantales arising from set groupoids. In the present paper, spatial SGF-quantales of this class are shown to be optimally representable as unital involutive quantales of relations. The results of the present pa...
متن کاملRepresentation Theorem for Stacks
In this paper i is a natural number and x is a set. Let A be a set and let s1, s2 be finite sequences of elements of A. Then s1s2 is an element of A∗. Let A be a set, let i be a natural number, and let s be a finite sequence of elements of A. Then s i is an element of A∗. The following two propositions are true: (1) ∅ i = ∅. (2) Let D be a non empty set and s be a finite sequence of elements of...
متن کاملHyperseparoids: A Representation Theorem
In this note, hyperseparoids are introduced; hyperseparoids are to separoids as Tverberg’s theorem is to Radon’s theorem. Also, a geometric representation theorem for acyclic kseparoids is presented which generalises that for separoids exhibited in [2].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1993
ISSN: 0022-4049
DOI: 10.1016/0022-4049(93)90169-t